• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۳۴۲ پاسخ غیر تکراری از ۳۴۷ پاسخ تکراری در مدت زمان ۰,۶۲ ثانیه یافت شد.

141. Finite representations of CCS and TCSP programs by automata and Petri nets

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Dirk Taubner

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)

Classification :
QA
,
76
.
9
,.
D5
,
T39
,
1989

142. Finite representations of CCS and TCSP programs by automata and Petri nets

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Dirk Taubner

Library: Library of College of Science University of Tehran (Tehran)

Subject: Electronic data processing -- Distributed processing,Petri nets,Programming languages (Electronic computers)

Classification :
QA
76
.
9
.
D5
T39
1989

143. Finite representations of CCS and TCSP programs by automata and Petri nets

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;

Classification :

144. Formal methods for concurrency

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Fencott, Clive

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Real-time data processing , Real-time programming , Programming Languages )Electronic computers(

Classification :
QA
76
.
54
.
F46
1996

145. From problem to program

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / M. E. Wardle

Library: Central Library and Archive Center of shahid Beheshti University (Tehran)

Subject: Electronic digital computers - Programming,Electronic data processing - Mathematics

Classification :
001
.
642
W266

146. From problem to program

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Wardle, M E

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics

Classification :
QA
76
.
6
.
W35

147. Fundamentals of computer science

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Walker, Terry M, 8391-

Library: Central Library and Documents Center of Al-Zahra University (Tehran)

Subject: ، Electronic data processing,، Electronic digital computers - programming

Classification :
QA
76
.
W19

148. GNU Octave

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jesper Schmidt Hansen

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Numerical analysis-- Data processing,Programming languages (Electronic computers)

Classification :
QA76
.
73
.
G58
S36
2011

149. Handbook of circuit analysis languages and techniques

پدیدآورنده : Jensen, Randall W.

موضوع : ، Electronic circuit design-- Data processing,، Programming language )Electronic computers(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

150. Handbook of circuit analysis languages and techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / editors, Randall W. Jensen, Lawrence P. McNamee

Library: Library of College of Science University of Tehran (Tehran)

Subject: Electronic circuit design -- Data processing,Programming languages (Electronic computers)

Classification :
TK
7867
.
J39
R

151. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses

Classification :
TK
7888
.
3
.
I57
1997

152. How to solve it by computer

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / by R.G. Dromey

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Mathematics - Data processing,Problem solving - Data processing,Electronic digital computers - Programming

Classification :
QA
76
.
95
.
D76
1992

153. How to solve it by computer

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / R.G. Dromey

Library: Library and knowledge management of the management schools of Tehran University (Tehran)

Subject: Mathematics - Data processing,Problem solving - Data processing,Electronic Digital computers - programming

Classification :
519
.
4
D786h

154. How to solve it by computer

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / by R.G. Dromey

Library: Library of College of Science University of Tehran (Tehran)

Subject: Mathematics -- Data processing,Problem solving -- Data processing,Electronic digital computers -- Programming

Classification :
QA
76
.
95
.
D76
1982

155. How to solve it by computer

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Dromey, R. G.

Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

Subject: ، Mathematics- Data processing,، Problem solving- Data processing,، Electronic digital computers- Programming

Classification :
QA
76
.
95
.
D75

156. Information processing and computer programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / (by) Harold C. Hill

Library: Library of College of Science University of Tehran (Tehran)

Subject: Electronic data processing,Electronic digital computers -- Programming

Classification :
QA
76
.
H48

157. Information processing and computer programming: an introduction

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hill, Harold C.

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic data processing,، Electronic digital computers-- Programming

Classification :
QA
76
.
H48

158. Informationsverarbeitung :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Juergen Rasch, Angele Daalmann.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Electronic data processing.,Programming languages (Electronic computers)

Classification :

159. Informatique

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / par Daniel-Jean David,David

Library: Central Library and Documents Center of Tehran University (Tehran)

Subject: Electronic data processing,Electronic digital computers - Programming,Programming languages ( Electronic computers)

Classification :
QA
76
.
D33328

160. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses

Classification :
BF
311
.
I5664
1996
  • »
  • 18
  • 17
  • 16
  • 15
  • 14
  • ...
  • 12
  • 11
  • 10
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival